/**
 * 
 */
package utils;

import java.util.HashMap;

import base.Formule;

/**
 * @author roulleau
 *
 */
public class Skolemisateur {

	private HashMap<String, Formule> mapQuantifieurs;
	
	public Skolemisateur(){
		this.mapQuantifieurs = new HashMap<String, Formule>();
	}
	
	public Formule miseEnForme(Formule base){
		
		while(base.isQuantifieursInOrder(false)){
			
		}
		
		return null;
	}
	
}
